On Knowledge Assimilation in Deductive Databases
ثبت نشده
چکیده
[D2] Decker: An extension of SLD by abduction and integrity maintenance for view updating in deduc-tive databases, Proc.
منابع مشابه
From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases
This chapter aims at demonstrating that inductive logic programming (ILP), a recently established subfield of machine learning that induces first-order clausal theories from examples, combines very well with the area of deductive databases. In the context of deductive databases, induction can be defined as inference of intensional knowledge from extensional knowledge. Classification-oriented IL...
متن کاملOverview of the Knowledge Base Management System (KAPPA)
This is an overview of the knowledge base management system called Kappa, one of the research and development activities performed at ICOT on databases and knowledge bases. The underlying data model is a nested relational model, and some complex data models are constructed and under consideration on the model. Deductive databases are constructed as one of knowledge base mechanisms and further e...
متن کاملDatabase Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption
After two decades of experience with relational databases and almost one decade with deductive databases a substantial amount of knowledge for eecient query processing methods and query optimizer technology is broadly available. So far, however, these research and development eeorts have not paid too much attention to optimizations based on semantic or heuristic information as it is often deman...
متن کاملGmd – Forschungszentrum Informationstechnik Gmbh Gmd Report
The integration of concepts from logic and deduction into databases and knowledge bases has created the eld of deductive databases. Logic programming provides a powerful declarative language for accessing and maintaining knowledge in databases. Techniques from relational databases and automated deduction are useful for achieving e cient retrieval and reasoning in large knowledge bases. Thus, de...
متن کاملDisjunctive Deductive Databases : Semantics , Updates , and Architecture ?
The basic assumption in relational and deductive databases is that there are no gaps in our knowledge. That is, the database cannot store data that contain null values or data that is indeenite. In practical situations knowledge is not precise, and there are gaps in our knowledge. These gaps may be due to null values in the data, may arise when we combine several databases that lead to inconsis...
متن کامل